Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
281	Introduction to Lambda Calculus Henk Barendregt Erik Barendsen Revised edition Add to Reading List Source URL: ftp.cs.ru.nl Language: English - Date: 2008-07-15 17:50:58 Formal methods Models of computation Elementary mathematics Combinatory logic Free variables and bound variables Function Variable De Bruijn index Spectral theory of ordinary differential equations Mathematics Lambda calculus Computability theory
282	Monotonic References for Efficient Gradual Typing Jeremy G. Siek1 , Michael M. Vitousek1 , Matteo Cimini1 , Sam Tobin-Hochstadt1 , and Ronald Garcia2 1 Add to Reading List Source URL: wphomes.soic.indiana.edu Language: English - Date: 2014-10-18 14:51:20 Type theory Data types Lambda calculus Procedural programming languages C++ Type safety Type system ALGOL 68 Combinatory logic Software engineering Computing Programming language theory
283	A Concrete Presentation of Game Semantics W. Blum∗ C.-H. L. Ong† Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-01-14 04:37:24 Models of computation Logic in computer science Lambda calculus Tree traversal Combinatory logic Free variables and bound variables Computation tree Theoretical computer science Mathematics Applied mathematics
284	A Schanuel Property for Exponetially Transcendental Powers Martin Bays, Jonathan Kirby and A.J. Wilkie October[removed]MIMS EPrint: [removed] Add to Reading List Source URL: eprints.ma.man.ac.uk Language: English - Date: 2009-10-03 02:48:59 Combinatory logic Spectral theory of ordinary differential equations Spectral theory Mathematical analysis Mathematics
285	Innovations in Computational Type Theory using Nuprl S. F. Allen, M. Bickford, R. L. Constable, R. Eaton, C. Kreitz, L. Lorigo, E. Moran Department of Computer Science, Cornell-University, Ithaca, NY[removed] {sfa,mark Add to Reading List Source URL: www.nuprl.org Language: English - Date: 2005-06-21 10:54:34 Type theory Logic in computer science Dependently typed programming Computability theory Intuitionistic type theory Curry–Howard correspondence Natural deduction Lambda calculus Combinatory logic Mathematics Logic Mathematical logic
286	Analyzing Module Diversity1 Alexandre Bergel (Software Composition Group, University of Bern, Switzerland [removed]/∼scg) St´ ephane Ducasse Add to Reading List Source URL: rmod.lille.inria.fr Language: English - Date: 2012-07-29 09:42:05 Lambda calculus Module theory Namespace Fixed-point combinator Perl module Simple module Module Combinatory logic D-module Software engineering Mathematics Abstract algebra
287	Unsafe Order-2 Tree Languages are Context-Sensitive1 Naoki Kobayashi1 , Kazuhiro Inaba2 , and Takeshi Tsukada3 1 3 Add to Reading List Source URL: www.kmonos.net Language: English - Date: 2014-06-29 21:29:23 Mathematics Symbol Formal grammar Lambda calculus Combinatory logic Controlled grammar Spectral theory of ordinary differential equations Formal languages Theoretical computer science Applied mathematics
288	Hierarchical Exploration for Accelerating Contextual Bandits Yisong Yue [removed] iLab, H. John Heinz III College, Carnegie Mellon University, Pittsburgh, PA 15213, USA Sue Ann Hong Add to Reading List Source URL: www.select.cs.cmu.edu Language: English - Date: 2012-05-21 17:52:03 Functional analysis Projection Vector space Forcing Combinatory logic Algebra Mathematics Linear algebra
289	Unsafe Order-2 Tree Languages are Context-Sensitive Naoki Kobayashi1 , Kazuhiro Inaba2 , and Takeshi Tsukada3 1 3 Add to Reading List Source URL: www.kmonos.net Language: English - Date: 2014-01-20 07:43:07 Greek romanization Mathematics Applied mathematics Beta code Spectral theory of ordinary differential equations Symbol Combinatory logic Formal grammar
290	Call-by-name linguistic side effects Oleg Kiselyov FNMOC [removed] Abstract Add to Reading List Source URL: okmij.org Language: English - Date: 2008-08-18 21:58:00 Mathematical logic Free variables and bound variables System F Combinatory logic Fixed-point combinator Theoretical computer science Lambda calculus Mathematics

UPDATE